COMMENT ⊗   VALID 00004 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	.DEVICE XGP
C00004 00003	.PORTION MACROS
C00008 00004	.NARROW 6,8
C00014 ENDMK
C⊗;
.DEVICE XGP

.FONT 1 "BASL30"
.FONT 2 "BASB30"
.FONT 4  "BASI30"
.FONT 5  "NGR40"
.FONT 7  "NGR20"
.TURN ON "↑α↓_π[]{"
.TURN ON "⊗" FOR "%"
.TURN ON "@" FOR "%"
.PAGE FRAME 54 HIGH 89 WIDE
.TITLE AREA HEADING LINES 1 TO 2
.AREA TEXT LINES 4 TO 51  CHARS 1 TO 89
.NARROW 6,8
.TITLE AREA FOOTING LINES 53 TO 54
.COUNT PAGE PRINTING "1"
.TABBREAK
.ODDLEFTBORDER ← EVENLEFTBORDER ← 1000
.!XGPLFTMAR←110
.AT "ffi" ⊂ IF THISFONT ≤ 4 THEN "≠"  ELSE "fαfαi" ⊃;
.AT "ffl" ⊂ IF THISFONT ≤ 4 THEN "α∞" ELSE "fαfαl" ⊃;
.AT "ff"  ⊂ IF THISFONT ≤ 4 THEN "≥"  ELSE "fαf" ⊃;
.AT "fi"  ⊂ IF THISFONT ≤ 4 THEN "α≡" ELSE "fαi" ⊃;
.AT "fl"  ⊂ IF THISFONT ≤ 4 THEN "∨"  ELSE "fαl" ⊃;
.PORTION MACROS
.SELECT 1
.MACRO B ⊂ BEGIN VERBATIM GROUP ⊃
.MACRO E ⊂ APART END ⊃
.MACRO FAD ⊂FILL ADJUST COMPACT DOUBLE SPACE; PREFACE 2 ⊃
.FAD
.SECNUM←0
.PAGE←0
.NEXT PAGE
.TURN OFF "{"
.INDENT 0
.SELECT 1
.PAGE←0
.PORTION THESIS
.TURN OFF "{∞→}"   
.PAGE←1
.NARROW 6,8
.NOFILL
.BEGIN CENTER
.SELECT 5
Curriculum Vitae
⊗1for⊗*
.SELECT 2
Douglas B. Lenat

.END
.NOFILL PREFACE 65 MILLS  SELECT 1

⊗2↓_Education_↓⊗*

B.A. in Physics, U. of Pennsylvania, May, 1972
B.A. in Mathematics, U. of Pennsylvania, May, 1972
M.S. in Applied Mathematics, U. of Pennsylvania, May, 1972
Admission to candidacy for the Ph.D. in Computer Science, Stanford U., May, 1974

⊗2↓_Honors_↓⊗*

Finalist in 23rd International Science Fair, Detroit, June, 1968.
Elected to membership in the Mathematical Association of America, March, 1970.
Elected president of Pi Mu Epsilon (Pennsylvania αα Chapter), September, 1970.
Elected to membership in Sigma Xi, May, 1972.
Highest mark on Computer Science Departmental Comprehensive Exam, January, 1974.
Highest mark on Stanford Artificial Intelligence Qualifying Exam, May, 1974.

⊗2↓_Papers_↓⊗*

Unpublished:
    ⊗4Acoustic Holography in Air at 40 MHz⊗*, June, 1971.
    ⊗4Conceptual Generalization of Holography to Four Dimensions⊗*, October, 1971.
    ⊗4Neuronal Spaces⊗*, Master's Thesis, May, 1972.

Published:
    ⊗4Progress Report on Program-Understanding Systems⊗*, Memo AIM-240,
	CS Report STAN-CS-74-444, Artificial Intelligence Laboratory,
	Stanford University, August, 1974. Co-authored with Green, Waldinger,
	Barstow, Elschlager, McCune, Shaw, and Steinberg,
    ⊗4Synthesis of Large Programs from Specific Dialogues⊗*, Proceedings of the
	International Symposium on Proving and Improving Programs, Le Chesnay,
	France, July, 1975 (forthcoming).
    ⊗4Duplication of Human Actions by an Interacting Community of Knowledge Modules⊗*,
	Proceedings of the Third International Congress of Cybernetics and Systems,
	Bucharest, Roumania, August, 1975 (forthcoming).
    ⊗4BEINGS: Knowledge as Interacting Experts⊗*, Proceedings of the Fourth
	International Joint Conference on Artificial Intelligence, Tbilisi, USSR,
	September, 1975 (forthcoming).

⊗2↓_Experience_↓⊗*

Statistical Programmer, Psychology Department, Beaver College, Wyncote, Pa., 1967.
	Reference: Professor Bernard Mausner
	Task: Clean rat cages. Motivated me to learn how to program their computer.
Scientific Programmer, U.S. Navy project, M&T Co., Philadelphia, Pa., 1968-70.
	Reference: Mr. J. Smith and Mr. Paul Saia
	Task: Information retrieval stuff.
Scientific Programmer, A.E.C. project, Physics Department, U. of Pa., 1970-72.
	Reference: Professor Walter Selove and Dr. J. Bensinger
	Task: High energy physics research: electron-electron bombardment.
		2 university groups cooperating, then split in the middle of the
		project and destroyed it.
President, STEP-ONE, U. of Pa. volunteer program for tutoring ghetto youth, 1971.
Currently: 4th-year Graduate Student Research Assistant, Artificial Intelligence Lab,
	Computer Science Department, Stanford University, Stanford, Ca.
	Advisers: Professors E. Feigenbaum and C. C. Green
	Task: Get dissertation done.

⊗2↓_Research Interests_↓⊗*

Slowly evolved from Informal Automatic Programming, to Representation of
Knowledge in such systems, to Representation of knowledge for theory
formation. Currently, I am programming AM, a system which discovers and
develops elementary mathematical theories.

⊗2↓_Hobbies_↓⊗*

Games, ...
Until I had to write this bit I didn't realize that none of my hobbies is
that interesting. Sigh.
I can think of many interesting things I'd like to try, though.